Pointer analysis - PDFSEARCH.IO - Document Search Engine

Pointer analysis
Results: 174

#	Item
41	The Case for Analysis Preserving Language Transformation Xiaolan Zhang Larry Koved Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:58:09 Cross-platform software Java platform Control flow Goto Java Static program analysis Programming language Pointer Time of check to time of use Computing Software engineering Computer programming
42	Data-flow Analysis for Interruptdriven Microcontroller Software Nathan Cooprider Advisor: John Regehr Dissertation defense School of Computing University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-09-03 13:32:16 Embedded systems TinyOS Procedural programming languages Abstract interpretation Microcontroller Program analysis C Pointer Data-flow analysis Computing Software engineering Computer programming
43	TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA) Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-02-08 00:45:45 Compiler construction Software bugs Static program analysis C Dead code Software testing Pointer Static single assignment form Parsing Software engineering Computing Computer programming
44	In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-24 19:21:12 Software engineering Type theory Pointer Static single assignment form Statistical power Causality Datalog Null Programming language theory Computing Data types
45	Some Assembly Required - Program Analysis of Embedded System Code Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 01:51:34 Data types Procedural programming languages Program analysis Compiler construction Programming language implementation C Aliasing Type system Pointer Software engineering Computing Computer programming
46	FINDING ERROR-PROPAGATION BUGS IN LARGE SOFTWARE SYSTEMS USING STATIC ANALYSIS by Cindy Rubio González Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-10-28 19:56:54 Computer errors Knowledge Error Linux kernel Pointer Error message Type I and type II errors Computing Software Software bugs
47	Compile-time stack requirements analysis with GCC Motivation, Development, and Experiments Results Eric Botcazou, Cyrille Comar, Olivier Hainque AdaCore {botcazou, comar, hainque}@adacore.com Add to Reading List Source URL: www.adacore.com Language: English Compiler construction Software bugs Programming language implementation Subroutines Stack Call stack C Pointer GNU Compiler Collection Computing Software engineering Computer programming
48	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
49	Microsoft Word - analysis software.doc Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2007-09-04 16:47:08 Data types Array programming languages MATLAB Numerical linear algebra Source code Pointer C Array data type Subroutine Computing Computer programming Software engineering
50	Inferred Interface Glue: Supporting Language Interoperability with Static Analysis by Tristan Ravitch Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-09-07 16:19:46 Data types Subroutines Type theory Procedural programming languages Pointer Type system Parameter GNU Linear Programming Kit Finalizer Software engineering Computing Computer programming